Implementing Object-Z with Perfect Developer
نویسنده
چکیده
Object oriented development is the methodology of choice for a wide range of applications but those developing critical systems have stayed with techniques with a mathematical basis. Object-Z is a formal specication language that has attempted to bring the benets of an object oriented approach to critical systems. However, it lacks an obvious route to implementation. This paper describes how Object-Z may be implemented using Perfect Developer, an OO language that supports verication and validation.
منابع مشابه
Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm
In recent years, large sectors of the software development industry have moved from the procedural style of software development to an object-oriented style. Safety-critical software developers have largely resisted this trend because of concerns about verifiability of object-oriented systems. This paper outlines the benefits offered by object technology and considers the key features of the ob...
متن کاملAutomated Model-based Verification of Object-Oriented Code
ESpec is a suite of tools that facilitates the testing and verification of object-oriented Eiffel programs in an integrated environment. The suite includes unit testing tools (ES-Test) and Fit tables (ES-Fit for customer requirements) that report contract failures. This paper describes ES-Verify (part of ESpec) for automatically verifying a significant subset of Eiffel constructs written with a...
متن کاملType Checking Classes in Object-Z to Promote Quality of Specifications
Formal speciication of software requirements has been recognised as an essential ingredient to improve the quality of delivered code. When integrated with the structuring mechanisms of object-orientation, formal spec-iications can provide a powerful tool for the software developer. However, the formal speciication of particularly large systems needs to be supported by tools which assist the spe...
متن کاملA mapping system from Object-Z to C++
Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. This paper introduces and discusses a structural mapping sys tem f r o m Object-Z to the programming language C++, and reports on its implementat ion o n UNIX. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such ...
متن کاملOn the Rees Algebra of Certain Codimension Two Perfect Ideals
The Rees algebra of an ideal is a classical object that has been studied throughout many decades. Our interest to Rees algebras comes from the fact that they provide the algebraic realizations for certain class of rational n-folds, namely those obtained from P by blowing up at a subscheme. In this paper, we study the Rees algebras of certain codimension two perfect ideals. To be more precise, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Object Technology
دوره 5 شماره
صفحات -
تاریخ انتشار 2006